Null/knockout Tbx3<tm1Jcib> Tbx3<neo> http://identifiers.org/mgd/MGI:3769504 targeted mutation 1, Juan Carlos Belmonte MGI:3769504